Bases for parametrized iterativity
نویسندگان
چکیده
Parametrized iterativity of an algebra means the existence of unique solutions of all finitary recursive systems of equations where recursion is allowed to use only some variables (chosen as a parameter). We show how such algebras can be introduced in an arbitrary category A by employing a base, i.e., an operation interpreting objects of A as monads on A. For every base we prove that free base algebras and free iterative base algebras exist. The main result is a coalgebraic construction of the latter: all equation morphisms form a diagram whose colimit is proved to be a free iterative base algebra.
منابع مشابه
Iterative Algebras for a Base
For algebras A whose type is given by an endofunctor, iterativity means that every flat equation morphism in A has a unique solution. In our previous work we proved that every object generates a free iterative algebra, and we provided a coalgebraic construction of those free algebras. Iterativity w.r.t. an endofunctor was generalized by Tarmo Uustalu to iterativity w.r.t. a “base”, i.e., a func...
متن کاملA Training Set and Multiple Bases Generation Approach for Parametrized Model Reduction Based on Adaptive Grids in Parameter Space
Modern simulation scenarios require real-time or many-query responses from a simulation model. This is the driving force for increased efforts in Model Order Reduction (MOR) for high dimensional dynamical systems or partial differential equations (PDEs). This demand for fast simulation models is even more critical for parametrized problems. Several snapshot-based methods for basis construction ...
متن کاملESI The Erwin
Certain combinatorial bases of Feigin-Stoyanovsky’s type subspaces of level k standard modules for affine Lie algebra sl(r,C)e are parametrized by (k, r)-admissible configurations. In this note we use Capparelli-LepowskyMilas’ method to give a new proof of linear independence of these bases, the main ingredient in the proof being the use of Dong-Lepowsky’s intertwining operators for fundamental...
متن کامل(k, r)-ADMISSIBLE CONFIGURATIONS AND INTERTWINING OPERATORS
Certain combinatorial bases of Feigin-Stoyanovsky’s type subspaces of level k standard modules for affine Lie algebra sl(r, C)̃ are parametrized by (k, r)-admissible configurations. In this note we use Capparelli-LepowskyMilas’ method to give a new proof of linear independence of these bases, the main ingredient in the proof being the use of Dong-Lepowsky’s intertwining operators for fundamental...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Comput.
دوره 206 شماره
صفحات -
تاریخ انتشار 2008